The Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (shrink)

The advent of Artificial Intelligence (AI) and other digital technologies is touted as ushering in the fourth industrial revolution (4IR). 4IR, also known as ‘Industry 4.0,’ pertains to the burning internet connectivity, sophisticated analytics and production, and automation’s transformative impacts on the world. The surge of change in the production arena started in the second half of 2010 and has continued to increase astronomically, with a remarkable probability of shaping the future of manufacturing and humanity. The 4IR is thus heralding (...) areas such as digitalisation, artificial intelligence, cloud computing, robotics, and 3D technologies amidst many other innovative digital technologies following the first, second and third industrial revolutions. The problem this paper addresses is the role of Arts and humanities (A&H) in the era of AI. Should A&H imbibe the empirical science methodology to stay relevant? How does A&H contribute to 4IR? Leveraging on philosophical tools of arguments and reconstruction of ideas, this paper argues for the significance of Kant’s thoughts in The Contest of the Faculties and that Arts and humanities are instrumental to humanising science and technology, helping to shape interdisciplinary collaboration and fostering understanding of the ethical, social and cultural dimensions of AI. (shrink)

The investigation that follows will flex in four directions, backwards and forwards, along the elastic threadthat ties the event of the bullfight to sex and thence a warm spill of sensation. In order to enter the fraythat is the bullfight, I will appropriate a term from Gilles Deleuze and Félix Guattari by way of which eachof the four thrusts I advance, or fights I present, can be read as asignifying ruptures [1] . With thisconcept we are encouraged to question the (...) integrity of signification. By breaching the threshold ofsignification there results a momentary loss of the senses, at which point we might take the opportunityto search out or invent other modes of making sense. The activity of writing, for instance, as one meansof experimenting with sense, "has nothing to do with signifying. It has to do with surveying, mapping,even realms that are yet to come" [2]. Though the bullfight is organised by way of its own particularcodes ofoperation and signification, much is also left to chance and the unexpected [3] . With thisemphasis on unexpected novelty in mind, I ask you to consider this paper as an arena in which fourbullfights will be conducted. The twists and turns of the trope of the bullfight will be surveyed across fourdifferent textual terrains in order to explore the effects that result in bringing these terrains into thevicinity of each other. As such, I will touch upon the work of Georges Bataille, Friedrich Nietzsche,Francis Bacon and Michel Leiris. As Nietzsche has suggested, using the tauromachic trope, to enter intoa "frightful and dangerous" enterprise does not necessarily enable the capture of an enraged bull [4]; atthe outset we cannot necessarily be assured of what will eventuate with the outcome. Furthermore, thatthe bull is always vanquished merely holds to the dictates of good and common sense, conventions that,in this arena, are only tenuously maintained. It is instead the event that surfaces as an incorporeal blocof sensation, exploding in the midst of the spectacle, that this paper determines to pursue. (shrink)

This article seeks to contribute to the debate on how political representation can promote democracy by analysing the Chamber in the Square, which is a component of legislative theatre. A set of techniques devised to democratise representative governments, legislative theatre was created by Augusto Boal when he was elected a political representative in 1993. After briefly reviewing Nadia Urbinati’s understanding of democratic representation as a diarchy of will and judgement, I partially endorse Hélène Landemore’s criticism and contend that if representation (...) is to be democratic, citizens’ exchange of opinions in the public sphere should be invested with the power not only to judge, but also to decide political affairs. By opening up a space where the represented can judge, decide, and contest the general terms of the bills representatives present in the assembly, the Chamber in the Square harnesses political representation to democracy. (shrink)

This paper will analyze three historical cases (Francis Bacon, Galileo Galilei and Margaret Cavendish) that exemplify the complexity of the interaction between science and religion in the Scientific Revolution and confirm the interpretation of J. H. Brooke, according to which, in this historical context –rather than a separation- a differentiation took hold between them. We will hold that although these authors agreed in proposing the separation of science and religion as an ideal, each in their own way made an (...) articulation between the two that in the long run prevented a complete separation. This articulation was due to both epistemic and extra-epistemic reasons and manifests a tension that was characteristic of the Scientific Revolution. (shrink)

A tongue-in-cheek send-up of certain aspects of existentialism written by a well-known logician and philosopher who had a serious affair with existentialism in his youth. It was never submitted for publication and is finally being made available here posthumously with the permission of Helen Eberle. To the best of my recollection it was written some time in the mid/late 1980s. -- Gary H. Merrill.

O ensino de filosofia seguiu uma rota tortuosa desde a colônia até os tempos atuais. O breve histórico desse percurso tem o objetivo de reafirmar a necessidade dessa disciplina no currículo escolar, sobretudo porque sempre há aqueles que a consideram de pouca importância. No entanto, em um mundo cada vez mais pragmático, a formação exclusivamente técnica de nossos jovens dificulta o processo de conscientização crítica, além de desprezar a herança de uma sabedoria milenar. Os primeiros tempos No Brasil, desde o (...) século XVI, o ensino de filosofia fazia parte do chamado curso de artes oferecido pelos jesuítas aos filhos de colonos que concluíam o primeiro nível de letras humanas. É bem verdade que apenas alguns colégios dispunham desse curso, voltado exclusivamente para a elite colonial portuguesa. A base do ensino de filosofia era a tradição escolástica, e, mesmo durante os séculos seguintes, não houve interesse em abordar as conquistas das ciências modernas, já vigentes desde o século XVII, na perspectiva de Francis Bacon e das descobertas de Galileu Galilei. Do mesmo modo, não eram ensinadas as teorias de René Descartes e John Locke. Inspirado nos ideais da Contrarreforma, o ensino jesuítico reafirmava a autoridade da Igreja e dos clássicos, com o controle sobre as informações a que os alunos teriam acesso. No século XVIII, os fundamentos aristotélico-tomistas perduraram, com raras exceções, apesar de o marquês de Pombal ter expulsado os jesuítas. O próprio Pombal permitiu a divulgação de algumas dessas obras "esclarecidas", mas cuidou de elencar uma lista das proibidas. Contrariando o controle, as novas ideias circulavam no Brasil por meio de estudantes formados pela Universidade de Coimbra e também pela venda clandestina de panfletos e cópias manuscritas. Desse modo, nas aulas régias, instituídas por Pombal para substituir as escolas dos jesuítas, no geral foi mantida a educação elitista, livresca, desfocada da realidade brasileira durante o império e a república. Apesar do controle, havia exceções, nas poucas vezes em que intelectuais, professores e conhecedores de bibliografia atualizada ensinavam disciplinas como ciências modernas, filosofia e matemática. Algumas congregações religiosas, como a dos franciscanos, também se interessavam pelas contribuições científicas e filosóficas de seu tempo. Ensino de filosofia: entre facultativa e obrigatória A partir do século XIX, predominou um vaivém entre a filosofia como disciplina obrigatória ou facultativa. Com a criação de cursos jurídicos no Brasil, na década de 1820 - em São Paulo e Recife -, a filosofia tornou-se disciplina obrigatória do ensino médio, como pré- requisito para o ingresso ao curso superior, reforçando o caráter propedêutico daquele curso. Em 1915, uma reforma de ensino tornou a filosofia disciplina facultativa, mas o ministro Francisco Campos tentou reverter esse quadro em 1932, tornando-a novamente obrigatória. Conhecido pela atuação no movimento da Escola Nova, Campos aliou seus esforços aos de figuras importantes da pedagogia brasileira, como o sociólogo Fernando de Azevedo e o filósofo e educador Anísio Teixeira. A tendência escolanovista era renovadora e se fazia necessária diante da situação econômica do Brasil. Com o início da industrialização, surgia a necessidade de melhorar a escolarização, sobretudo para os segmentos urbanos. Francisco Campos introduziu as disciplinas de lógica, sociologia e história da filosofia no currículo escolar. Com a Reforma Capanema, em 19142, o ensino secundário dividiu-se em ginasial e colegial. Este último foi subdividido em científico, com ênfase no estudo de ciências, e clássico, que privilegiava a formação em humanidades. Nesse contexto, a filosofia se constituiu como disciplina obrigatória em um dos três anos do científico e em dois anos do curso clássico, com proposta de programa bastante extenso. No entanto, uma sequência de portarias reduziu gradativamente o número de horas-aula da disciplina, por fim, restrita ao último ano do colegial. Em 1961, foi promulgada a nossa primeira Lei de Diretrizes e Bases da Educação (LDBJ, a Lei n. 4.024, ocasião em que o ensino de filosofia perdeu a obrigatoriedade. Período da ditadura militar Durante a ditadura militar no Brasil (1964-1985), as aulas de filosofia foram extintas pela Lei n. 5.692, de 1971. Essa lei reformou o então chamado ensino de 1º e 2º graus e introduziu o ensino profissionalizante, de acordo com a tendência tecnicista proposta pelos acordos entre militares e tecnocratas. Um dos objetivos era adequar a educação às exigências da sociedade industrial e tecnológica, com economia de tempo, esforços e custos. A educação tecnicista encontrava-se imbuída dos ideais de racionalidade, organização, objetividade, eficiência e produtividade, como se fosse uma empresa: esperava-se que, ao terminar cada um dos níveis, o aluno estivesse capacitado para ingressar no mercado como força de trabalho, caso necessário. Para implantar o projeto de educação proposto, o governo militar não revogou a LDB de 1961, mas introduziu alterações e fez atualizações. Enquanto a aprovação da LDB resultara de amplo debate na sociedade civil, o governo autoritário regulamentou as leis do ensino universitário (Lei n. 5.540/1968) e do ensino de 1º e 2º graus (Lei n. 5.692/1971) de maneira impositiva. Diversos acordos, conhecidos como MEC-Usaid (Ministério da Educação e Cultura e United States Agency for International Development), ofereceram assistência técnica e cooperação financeira para implantar a reforma. A habilitação profissional constituiu-se em um emaranhado de "ofertas" que chegavam a 130 habilitações profissionais distribuídas conforme os cursos e as regiões do país. Algumas disciplinas desapareceram, como a de filosofia, e outras foram aglutinadas. Por sua vez, a inclusão de Moral e Cívica no primeiro nível e de Organização Social e Política no segundo exerceu a clara intenção de doutrinamento político. Há controvérsias em torno da extinção da filosofia do currículo escolar. Para alguns, a extinção revelava a intenção explícita dos governos militares de evitarem o desenvolvimento do pensamento crítico. Outros analisam de modo diferente, alegando que, com raríssimas exceções, o ensino da filosofia reduzia-se à história da filosofia, com ênfase na memorização, não representando, portanto, nenhuma ameaça ao regime de exceção, por desempenhar papel submisso e nada subversivo. Além disso, de acordo com o viés tecnicista da reforma, havia necessidade de mais espaço para incluir disciplinas voltadas para a habilitação profissional. Já nas universidades, era possível notar o crescente desprestígio da filosofia, tendo ocorrido perseguição a professores, muitos deles exilados. Todavia, o propósito de formar profissionais, conforme propunha a nova lei, não se concretizou. A escola pública se fragilizou ainda mais, enquanto algumas boas escolas da rede particular encontraram meios de contornar a lei e oferecer um ensino de qualidade com os mesmos conteúdos que visavam desenvolver o espírito crítico e, portanto, a capacidade de seus alunos pensarem por si mesmos. Em 1982, no clima da abertura democrática, a Lei n. 7.01-114 permitiu a reinserção da filosofia no currículo como optativa, a critério do estabelecimento de ensino. Nada foi conseguido sem esforço, mas com trabalho intenso e pressão da sociedade civil. Associações especialmente criadas para esse fim aglutinaram professores de cursos secundários e superiores para promoverem encontros, movimentos de protesto e contatos com autoridades governamentais, no esforço conjunto para alcançar aquele objetivo. Lei de Diretrizes e Bases da Educação Nacional (LDB) n. 9.394/1996 Após a aprovação da Constituição brasileira de 1988, restava elaborar a lei complementar para tratar das Diretrizes e Bases da Educação Nacional. A primeira LDB, de 1961, levara muito tempo para ser aprovada e ofereceu no final um texto já envelhecido. Devido a esse fato, havia interesse em acelerar a regulamentação da nova LDB, o que ocorreu em dezembro de 1996, com a publicação da Lei n. 9.394. O primeiro projeto da nova LDB baseou-se em amplo debate, não só na Câmara, mas também na sociedade civil, além de várias entidades sindicais, científicas, estudantis e segmentos organizados da educação. O projeto original exigiu do relator Jorge Hage importante trabalho de finalização, já que a nova lei não resultaria de exclusiva iniciativa do Executivo, e sim do debate democrático da comunidade educacional. No entanto, com apoio do governo e do ministro da Educação, o senador Darcy Ribeiro apresentou outro projeto que começara a ser discutido paralelamente e que terminou por ser aprovado. Como ficou a situação do ensino de filosofia? Apesar do movimento consistente que continuava defendendo o retorno da filosofia ao ensino médio, foi grande a decepção. Vejamos por quê. Ao estabelecer as finalidades da educação básica e as diretrizes dos conteúdos curriculares, essa lei destacava a importância da formação para o exercício da cidadania, a difusão de valores fundamentais ao interesse social, aos direitos e deveres dos cidadãos e de respeito ao bem comum e à ordem democrática. Foi recomendado também o aprimoramento do educando como pessoa humana, por meio de formação ética e desenvolvimento da autonomia intelectual e do pensamento crítico. Conforme a LDB sob Lei 9.394/98: Art. 22. A educação básica tem por finalidades desenvolver o educando, assegurar-lhe a formação comum indispensável para o exercício da cidadania e fornecer-lhe meios para progredir no trabalho e em estudos posteriores. Art. 27. Os conteúdos curriculares da educação básica observarão, ainda, as seguintes diretrizes: I – a difusão de valores fundamentais ao interesse social, aos direitos e deveres dos cidadãos, de respeito ao bem comum e à ordem democrática; II – consideração das condições de escolaridade dos alunos em cada estabelecimento; III – orientação para o trabalho; IV – promoção do desporto educacional e apoio às práticas desportivas não- formais. Art. 35. O ensino médio, etapa final da educação básica, com duração mínima de três anos, terá como finalidades: I – a consolidação e o aprofundamento dos conhecimentos adquiridos no ensino fundamental, possibilitando o prosseguimento de estudos; II – a preparação básica para o trabalho e a cidadania do educando, para continuar aprendendo, de modo a ser capaz de se adaptar com flexibilidade a novas condições de ocupação ou aperfeiçoamento posteriores; III – o aprimoramento do educando como pessoa humana, incluindo a formação ética e o desenvolvimento da autonomia intelectual e do pensamento crítico; IV – a compreensão dos fundamentos científico-tecnológicos dos processos produtivos, relacionando a teoria com a prática, no ensino de cada disciplina. Por fim, ficou claro no artigo 36, parágrafo 1º, inciso III (revogado pela Lei n. 11.684, de 2008), que os conteúdos, as metodologias e as formas de avaliação deveriam ser organizados de tal maneira que ao final do ensino médio o educando demonstrasse "domínio dos conhecimentos de filosofia e de sociologia necessários ao exercício da cidadania". Embora a educação para a cidadania constituísse um objetivo visado por qualquer disciplina, com mais razão o professor de filosofia teria condições de abordá-la explicitamente, não só por tomá-la como um de seus conteúdos, mas principalmente pelo seu caráter problematizador e argumentativo, próprio da filosofia. Portanto, seria válido supor que o artigo 36 definisse a reinserção da filosofia no currículo, ministrada por profissional formado na área, o que de fato não se concretizou, e o ensino de filosofia permaneceu como não obrigatório. Posteriormente, conforme a Resolução CEB n. 3/1998, "as propostas pedagógicas das escolas deverão assegurar o tratamento interdisciplinar e contextualizado para os conhecimentos de filosofia e de sociologia necessários ao exercício da cidadania" (artigo 10, parágrafo 2º, alínea b]. Ou seja, professores de outras disciplinas seriam responsáveis por esses "temas transversais", orientação que prevaleceu nos Parâmetros Curriculares Nacionais. Um pouco antes, em 1997, dando continuidade a anseios de educadores, o deputado federal Padre Roque Zimmermann apresentara projeto de lei para tornar obrigatório o ensino de filosofia e sociologia no currículo do ensino médio. Após sua aprovação no Senado, em 2001, o projeto foi vetado pelo então presidente Fernando Henrique Cardoso. Finalmente, em 2008, o artigo 36 da LDB sofreu alteração, tornando obrigatório o ensino de filosofia e de sociologia no currículo do ensino médio, por meio da Lei n. 11.684/2008. Na sequência da aprovação, continua em andamento a implantação desse projeto de ensino. Esperamos que o espaço conquistado não venha a sofrer mais tarde nova retração. REFERÊNCIAS BIBLIOGRÁFICAS ARANHA, M. L. de A.; MARTINS, H. P. Filosofando: Introdução à Filosofia. 6ª ed. São Paulo: Moderna, 2016. BRASIL. Ministério de Educação e Cultura. Ciências humanas e suas tecnologias. In: Orientações Curriculares para o Ensino Médio. Brasília: Ministério da Educação; Secretaria de Educação Básica, 2006. ______________________________________. LDB - Lei nº 9394/96, de 20 de dezembro de 1996. Estabelece as diretrizes e bases da Educação Nacional. Brasília: MEC, 1996. Disponível em: Lei de Diretrizes e Bases da Educação Nacional - Biblioteca do Senado. Acesso em: 11 Jun. 2019. ______________________________________. Parâmetros Curriculares Nacionais. Ensino Médio: Bases Legais. Brasília: MEC, 1999. ______________________________________. Resolução CEB n° 3 de 1998. Institui as Diretrizes Curriculares Nacionais para o Ensino Médio. Brasília: MEC, 1998. Disponível em: Resolução CEB n° 3 de 1998. Acesso em: 11 Jun. 2019. KOHAN, W. O. (Org.). Políticas do ensino de filosofia. Rio de Janeiro: DP6A, 2014. (shrink)

Antes de entrar cuidadosamente no estudo de cada filósofo, em suas respectivas ordens cronológicas, é necessário dar um panorama geral sobre eles, permitindo, de relance, a localização deles em tempos históricos e a associação de seus nomes com sua teoria ou tema central. l. OS FILÓSOFOS PRÉ-SOCRÁTICOS - No sétimo século antes de Jesus Cristo, nasce o primeiro filósofo grego: Tales de Mileto2 . Ele e os seguintes filósofos jônicos (Anaximandro: Ἀναξίμανδρος: 3 610-546 a.C.) e Anaxímenes: (Άναξιμένης: 586-524 a.C.) tentaram (...) expressar/elucidar o que é a arché, ou constitutivo fundamental do Universo. 4 Também sobressaem as teorias de Pitágoras (Ὁ Πυθαγόρας: 570 a.C.- 495 a.C.), completas de misticismo e Matemática; a de Heráclito (Ἡράκλειτος ὁ Ἐφέσιος: 540-470 a.C.), o filósofo do devir e o de seu oponente, Parmênides (Παρμενίδης: 530-460 a.C.), que elucida a primeira teoria do ser, e para qual é alcunhado como o iniciador da Metafísica. Anaxágoras (Ἀναξαγόρας: 500 a.C.- 428 a.C.) esboça uma teoria sobre o Nous, o espírito divino. Por outro lado, Demócrito (Δημόκριτος: Grécia: 460-370 a.C.) e Empédocles (Ἐμπεδοκλῆς: 490 a.C.-430 a.C.) insistem no materialismo. Em contrapartida, os sofistas (Parmênides, Cálicles (Καλλικλῆς: personagem platônico cuja existência é duvidosa) e Górgias (Γοργίας: 485 a.C.-380 a.C.)) gozam das suas aptidões à dialética, e colocam o relativismo como uma posição filosófica. Sócrates será o inimigo mais temível dessa posição. Este é o começo do movimento filosófico de Atenas, que culmina nos séculos quinto e quarto, tal qual, posteriormente, veremos. 2. O APOGEU GREGO – Sócrates (Σωκράτης: 469 a.C.-399 a.C.), Platão (Πλάτων: 428/427- 348/347 a.C.) e Aristóteles (Ἀριστοτέλης: 384 a.C.-322 a.C.) formam o triunvirato dos grandes filósofos gregos. O primeiro (Sócrates), com seu método "maiêutico" e sua teoria do conceito; o segundo (Platão), com sua teoria das ideias e seu estilo literário (dialogista); e o terceiro (Aristóteles), com a estruturação dos principais ramos filosóficos, como a Lógica, a Metafísica, a Ética, a Psicologia racional e a Política; todos eles elevaram a Filosofia para um posto de primeira ordem. Doravante, todos os filósofos tornam-se credores das contribuições desses gênios. Em certos autores, é clara a influência de Platão ou de Aristóteles. Sendo que, ambos os filósofos, tiveram influência absoluta de Sócrates, uma vez que Platão fora seu discípulo, e Aristóteles discípulo de Platão. A Idade Média, por exemplo, foi toda ela, em sua gênese e desenvolvimento, alicerçada no pensamento e nas ideias platônicas; tal era histórica é caracterizada pela luta em favor de um ou de outro autor; o platonismo tomou precedência nos primeiros séculos do cristianismo; somente após o décimo século Aristóteles foi redescoberto. 3. A FILOSOFIA CRISTÃ MEDIEVAL - Santo Agostinho (354 a.C.-430 a.C.) se destaca, no quinto século, com sua teoria da iluminação e a aplicação da teoria platônica ao Cristianismo. No século XIII, São Tomás de Aquino (1225-1274), sintetiza Aristóteles com o Cristianismo. Os dois autores formam o núcleo da filosofia cristã em seus respectivos séculos. A escolástica teve seu tempo de decadência. Se mencionam, principalmente, dois autores: João Duns Escoto (1266-1308) e Guilherme de Ockham (1285-1347). O primeiro é o "Doutor Sutil ", e o segundo cai em um fideísmo e um nominalismo, para todos os conceitos criticáveis. Em uma segunda parte, tentaremos explicar os respectivos pensamentos dos autores mencionados, e outros que pertencem ao mesmo tempo, antigos e medievais. Naquela época, a Filosofia era puramente realista, aplicada ao mundo e ao homem. Somente na Idade Moderna, a Filosofia assumirá o problema do conhecimento como a base e o começo de todo filosofar. 4. A FILOSOFIA RACIONALISTA (MODERNA) - Na Idade Moderna, sobressai o racionalismo de Descartes (1596-1650) prolongado, então, com Malebranche (1638-1715) (ocasionalismo), Espinosa (1632 -1677) (panteísmo) e Leibniz (1646-1716) (teoria das mônadas). Estamos nos séculos XVII e XVIII. A atenção será focada nas disputas filosóficas da corrente empirista contra a racionalista. 5. A FILOSOFIA EMPIRISTA – O empirismo é florescido, principalmente, na Inglaterra. Francis Bacon (1561-1626), primeiro, e depois Locke (1632-1704) com sua rejeição de ideias inatas, Berkeley (1685-1753) com postura e ideias paradoxais, também idealistas e Hume (1711-1776), com suas famosas críticas contra o princípio da causalidade e o conceito de substância, são os principais autores. 6. KANT E OS IDEALISTAS ALEMÃES - Como a tentativa de sintetizar o racionalismo e empirismo, está a teoria de Kant (1724-1804), no século XVIII. Para o seu gênio seguido pelos três idealistas alemães mais importantes: Fichte (1762-1814) (idealismo subjetivo), Schelling (1775-1854) (idealismo objetivo) e Hegel (1770-1831) (idealismo absoluto). Esses Autores representam o ápice da especulação filosófica. A análise, a profundidade, a complexidade da expressão e o espírito sistemático são as características do gênio alemão idealista. 7. OS FILÓSOFOS DO SÉCULO XIX - Antes de tudo, é necessário mencionar, no século dezenove, aos dois grandes críticos de Hegel, que são Kierkegaard (1813-1855) (precursor do existencialismo) e Marx (1818-1883) (com seu materialismo dialético). O próximo é outro casal: Nietzsche (1844-1900) (teoria do Super-homem) e Schopenhauer (1788-1860) (com seu absoluto pessimismo). Comte (1798-1857) com sua doutrina positivista, completará o quadro desses filósofos. Numa outra oportunidade, vamos desmembrar sobre o pensamento e principais ideias acerca desses autores. 8. OS FILÓSOFOS DO SÉCULO XX - Antes de tudo, há um autor que iluminou a filosofia do século XX: Edmund Husserl (1859-1938), fundador do método fenomenológico. Em seguida, existem dois fluxos que são derivados diretamente de Husserl, a saber, o existencialismo e a axiologia. Dentro da corrente axiológica, estudaremos Scheler (1874-2928). Por outro lado, o existencialismo tem quatro autores principais; dois são alemães: Heidegger (1889-1976) e Jaspers (1883-1969); e os demais são franceses: Sartre (1905-1980) e Marcel (1889-1973). Heidegger insiste em que seu tema tratado em sua filosofia não é a unicidade do homem, mas o ser em geral. Jaspers é famoso por seu conceito de transcendência (Deus). Sartre é um antiteísta sincero, e seu existencialismo é definido como um pensamento que assume todas as consequências da negação de Deus. Em contraste, Gabriel Marcel é um filósofo Católico, que conseguiu uma análise profunda das situações humanas, que aparecem em íntima concordância com as verdades cristãs. Vamos terminar com Russell (1872-1970), autor básico do positivismo lógico. Cronologia de filósofos e suas escolas até nossos dias ➢ Filosofia Antiga - Escola naturalista da Jônia: Tales, Anaximandro e Anaxímenes; - Escola matemática da Itália: Pitágoras e os pitagóricos; - Escola idealista de Eléia: Xenófanes (570-475 a.C.), Parmênides, Zenão (490/85-420 a.C.) e Meliso (h.443); - Escola empirista: Heráclito, Empédocles e Anaxágoras; - Escola atomista de Abdera: Leucipo (h.437) e Demócrito; - Escolas de Atenas: - Sofistas: Protágoras (480-410), Górgias (484-375?); Sócrates, Platão e Aristóteles; - Pirronismo: Pirro (h.365-h.275); - Estoicismo: Zenão de Cítio (359/33-262) e Crisipo (281/77-208); - Epicurismo: Epicuro (341-270); - Nova Academia: Arcesilau (315-241) e Carnéades (214-129); Romanos: Sêneca (4 a.C.-65 d.C.), Marco Aurélio (121-180) e Cícero (106-43). - Escola greco-judia: Fílon de Alexandria (25 a.C.-50 d.C.); - Neoplatonismo: Plotino (204/5-270), Porfirio (h.233-304), Jâmblico (h.250-330) e Proclo (h.411-485). ➢ Filosofia patrística - Apologistas: São Justino (100/10-165), Ireneu de Lyon (h.140-h.l 77) e Atenágoras (fines s. II); - Alexandrinos: São Clemente (h.145/50-215) e Orígenes (h.185-255); - Africanos: Tertuliano (h.160-230), Arnóbio (h.260-h.327) e Lactâncio (nascido h. 250); - Gregos: São Basílio (h.330-379), São Gregório de Nazianzo (330-390), São Gregório de Níssa (330-390) e Pseudo-Dionísio (h.500); - Latinos: São Hilário (h.315-367), Santo Ambrósio (333-397) e Santo Agostinho; - Outros: Claudiano (+h.473), Boécio (480-524), São Isidoro (h.560-633) e Beda (672/3-735). ➢ Filosofia Medieval/Escolástica - Judeus: Isaac Israeli (+h.940), Salomão Ibn Gabirol (h.l020-p.l058) e Maimônides (1135- 1204); - Árabes: Alquindi (h. 796-874), Al-Farabi (870-950), Avicena (980-1037), Algazali (1058- 1111) e Averróis (1126-1198); - Escola palatina: Alcuíno de Iorque (730/5-804), Rábano Mauro (h.784-856), Escoto Erígena (h.810-h.870) e Papa Silvestre II (+1003); - Dialéticos: Santo Anselmo (1033/4-1109) e Pedro Abelardo (1079-1142); - Tradutores: Domingo Gundisalvo (meados s. XII), Gerardo de Cremona (h. 1114-1187); - Enciclopedistas: Teodorico de Chartres (+1155), Hugo de São Vitor (+1141) e Vicente de Beauvais (+1264); - Universidades: Guilherme de Auvergne (1180- 1249) e Sigerio de Brabante (+h.l284); - Dominicanos: São Alberto Magno (1206-1280) e Santo Tomás de Aquino; - Franciscanos: Alexandre de Hales (1170/80-1245), São Boaventura (1217-1274), Roger Bacon (h.1210/14-1292), João Duns Escoto, Raimundo Lulio (1235-1315) e Guilherme de Ockham (h.1285-1349). ➢ Filosofia Moderna - Humanistas Renascentistas: Ficino (1433-1499), Erasmo (1467-1536), Maquiavel (1469- 1527), Thomas More (1480-1535), Juan Luis Vives (1492-1540) e Giordano Bruno (1548- 1600); - Racionalismo: Descartes, Malebranche, Espinosa e Leibniz; - Empiristas: Francis Bacon, Thomas Hobbes (1588-1679), Locke, Berkeley e Hume; - Escola escocesa: Thomas Reid (1710-1796); Iluministas: Voltaire (1694-1778), Condillac (1715-1757), Diderot (1713-1784) e J. J. Rousseau (1712-1778). - Idealismo transcendental: Kant; - Idealismo subjetivo: Fichte; - Idealismo objetivo: Schelling; - Idealismo absoluto: Hegel; - Pessimismo: Schopenhauer; - Ecletismo: Cousin (1792-1867); - Positivismo: A. Comte, J. S. Mill (1806-1873) e H. Spencer (1820-1900); - Socialismo: H. Saint-Simon (1760-1825), Ch. Fourier (1772-1837) e K. Marx; - Vitalismo: Nietzsche e W. Dilthey (1833-1912). ➢ Filosofia Contemporânea - Intucionismo: H. Bergson (1859-1941); - Pragmatismo: Ch. S. Peirce (1839-1914), W. James (1842-1910) e J. Dewey (1859-1952); - Fenomenologia: Husserl, Scheler, N. Hartmann (1882-1950) e M. Merleau-Ponty (1908- 1961); - Existencialismo: Jaspers, Heidegger, Marcel e Sartre; - Atomismo lógico: B. Russell (1872-1970) e L. Wittgenstein (1889-1951); - Positivismo lógico: M. Schlick (1882-1936), R. Carnap (1891-1970 ) e A. J. Ayer (1910- 1990). - Filosofia analítica: J. L. Austin (1911-1960), G. Ryle (1900-1976), W.V.O. Quine (1908- 2000), P. F. Strawson (1919-2003) e H. Putnam (1926-); - Hermenêutica: H. G. Gadamer (1900-2002), P. Ricoeur (1913-2007) e J. Habermas (1929-). - Estruturalismo e pós-estruturalismo: F. de Saussure (1857-1913), C. Lévi-Strauss (1908- 2009) e M. Foucault (1926-1984). - Filosofia pós-moderna: J. F. Lyotard (1924-1999), G. Deleuze (1925-1995), J. Derrida (1930- 2004), R. Rorty (1931-2007) e G. Vattimo (1936-). - Comunitaristas: A. Maclntyre (1929-), Ch. Taylor (1931-). REFERÊNCIAS BIBLIOGRÁFICAS CHAUÍ, M. Iniciação à Filosofia. Vol. Único. 2ª ed. São Paulo: Ática, 2013. 460 p. SANTOS, R. dos. Filosofia: Uma breve introdução. 1ª ed. Pelotas: Dissertativo Incipiens, 2014. 108 p. . Rua do Riachuelo, 303, Centro, Rio de Janeiro, RJ Casa Histórica de Osório CEP: 20230-011 E-mail: [email protected]. (shrink)

After the discoveries of such scholars as J. H. Poincaré, E. N. Lorenz, I. Prigogine, etc. the term ‘chaos’ is used actively by representatives of various scientific fields; however, one important aspect remains uninvestigated: which attitude one should have toward chaotic phenomena. This is a philosophical question and my dissertation aims to find the answer in the history of philosophy, where chaos theme has had its investigators from ancient philosophy to the philosophical theories of the 21st century. My dissertation is (...) based on the idea that sciences and philosophy can achieve significant success in exploring chaos theme when their efforts are combined. This dissertation research is designed to help in the planning of conscious, rational actions towards chaotic phenomena, since it is aimed at exploration and systematic presentation, as well as comprehension of possible systems of such actions – philosophical strategies for interacting with chaos. -/- Results of the dissertation are the following. I reveal, reconstruct, and explain the content of six possible strategies for interacting with chaos that were worked out in history of philosophical thought: ordering, avoiding, transfiguring, preventing, controlling, and integrating. I argue that the first philosophical strategies for interacting with chaos were worked out in the 19th century by German philosophers K. W. F. Schlegel and F. W. Nietzsche on the basis of their rethinking the ideas which were expressed by different thinkers during classical antiquity, the Middle Ages, and the modern period. I show that ideas of strategic views towards chaos were also elaborated by such 20th-century thinkers as H. Rickert, N. Berdyaev, I. Prigogine, H. Haken, G. Deleuze, Q. Meillassoux, and others. I outline the main stages of the evolution of philosophical strategies for interacting with chaos as well as its regularities. The dissertation shows perspectives of further development of each one of the six strategies for interacting with chaos. -/- In contemporary scientific and philosophical research on chaos, my exploration contributes to the new approach to improving the understanding of aims of acts towards chaotic phenomena. I think that knowing a range of different strategic views of chaos help researchers of chaotic phenomena to choose the most appropriate and rational reactions. In the area of history of philosophy, my research contributes detailed data about development and conceptual transformations of the notion of ‘chaos’ through all periods of Western philosophy. -/- The dissertation consists of five chapters: 1) Literature Review, Methodology and Key Research Terms, 2) Ancient and Medieval Philosophical Ideas about Chaos, 3) Genesis of the First Strategies for Interacting with Chaos, 4) Strategies for Interacting with Chaos in the 20th and 21st Centuries, 5) Regularities and Prospects of the Development of Philosophical Strategies for Interacting with Chaos. In the first chapter I analyze more than five hundred books, articles, and other philosophical and scientific sources in which the chaos theme is raised. I also argue the necessity of applying methods such as analysis, the structural method, the hermeneutic method of interpretation, and the comparative method in my dissertation research. Moreover, in this chapter, I define key terms for my dissertation – ‘chaos’ and ‘philosophical strategies for interacting with chaos.’ -/- Then, in the next chapter, I analyze the appearance and development of Ancient and Medieval philosophical ideas about chaotic phenomena and order. Particularly, I explore thoughts of philosophers such as Anaxagoras, Anaximander, Heraclitus, Empedocles, Plato, Aristotle, Augustine of Hippo, Bernard Silvestris, Ramon Llull, etc. In this chapter I also compare the first Western ideas about chaos with similar thoughts from Eastern philosophy, analyzing Indian and Chinese philosophical ideas about disorder. -/- In the third chapter I explore transformations in understanding the meaning of the term ‘chaos’ in philosophy from the 15th to the end of the 19th century. I analyze ideas about chaos and order from thinkers such as M. Ficino, Paracelsus, F. Bacon, P. Bayle, Voltaire, J. G. Herder, I. Kant, F. W. J. Schelling and other philosophers from the Renaissance, the Age of Enlightenment, and the German idealist period, showing that these thinkers’ new approaches to interpreting the notion of ‘chaos’ were the background for K. W. F. Schlegel’s and F. W. Nietzsche’s creations of the first strategies for interacting with chaos in the 19th century. I finish the chapter with detailed analysis of K. W. F. Schlegel’s strategy for transfiguring chaos and F. W. Nietzsche’s strategy for ordering chaos. -/- The development of philosophical strategies for interacting with chaos in the 20th and the beginning of the 21st century is the topic of the fourth chapter. I research new ideas about ordering chaos (H. Rickert) and transfiguring chaos (N. Berdyaev). Also, I reveal thoughts about avoiding chaos (A. Camus), preventing chaos (J. Ortega y Gasset), integrating chaos (G. Deleuze, Q. Meillassoux). Moreover, I analyze a philosophical component of the strategy for chaos control (I. Prigogine, H. Haken). In the final fifth chapter of the dissertation I trace the major features of philosophical strategies for interacting with chaos and find out the main conditions and periods of their development. Then I outline the prospects for the development of the philosophical strategies for interacting with chaos and show the most productive ways of their progress. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

This paper argues that public statues of persons typically express a positive evaluative attitude towards the subject. It also argues that states have duties to repudiate their own historical wrongdoing, and to condemn other people’s serious wrongdoing. Both duties are incompatible with retaining public statues of people who perpetrated serious rights violations. Hence, a person’s being a serious rights violator is a sufficient condition for a state’s having a duty to remove a public statue of that person. I argue that (...) this applies no less in the case of the ‘morally ambiguous’ wrongdoer, who both accomplishes significant goods and perpetrates serious rights violations. The duty to remove a statue is a defeasible duty: like most duties, it can be defeated by lesser-evil considerations. If removing a statue would, for example, spark a violent riot that would risk unjust harm to lots of people, the duty to remove could be outweighed by the duty not to foreseeably cause unjust harm. This would provide a lesser-evil justification for keeping the statue. But it matters that the duty to remove is outweighed, rather than negated, by these consequences. Unlike when a duty is negated, one still owes something in cases of outweighing. And it especially matters that it is outweighed by the predicted consequences of wrongful behaviour by others. (shrink)

In this paper Beebee argues that the problem of induction, which she describes as a genuine sceptical problem, is the same for Humeans than for Necessitarians. Neither scientific essentialists nor Armstrong can solve the problem of induction by appealing to IBE, for both arguments take an illicit inductive step.

Humean compatibilism is the combination of a Humean position on laws of nature and the thesis that free will is compatible with determinism. This article's aim is to situate Humean compatibilism in the current debate among libertarians, traditional compatibilists, and semicompatibilists about free will. We argue that a Humean about laws can hold that there is a sense in which the laws of nature are 'up to us' and hence that the leading style of argument for incompatibilism?the consequence argument?has a (...) false premiss. We also display some striking similarities between Humean compatibilism and libertarianism, an incompatibilist view. For example, standard libertarians face a problem about luck, and we show that Humean compatibilists face a very similar problem. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This paper presents a dilemma which it has been alleged by Kim Frost must be faced by any defender of the notion of a two-way power and offers a solution to the dilemma which is distinct from Frost’s own. The dilemma is as follows: assuming that powers are to be individuated by what they are powers to do or undergo, then either there is a unified description of the manifestation-type which individuates the power, or there is not. If there is, (...) then two-way powers are revealed really to be one-way powers, after all. If there is not, then it is difficult to explain why the two-way power does not simply dissolve into a mere combination of two one-way powers. The paper offers an account of what a two-way power is that is distinct from the one Frost takes for granted, and argues that this different conception is the key to avoiding the dilemma. It is also argued that this alternative conception has several further advantages over its rival and also that it has no less of a claim than Frost’s notion to be prefigured in Aristotle’s original discussion. (shrink)

This paper considers the analogies and disanalogies between a certain sort of argument designed to oppose scepticism about free will and a certain sort of argument designed to oppose scepticism about the external world. In the case of free will, I offer the ancient Lazy Argument and an argument of my own, which I call the Agency Argument, as examples of the relevant genre; and in the case of the external world, I consider Moore’s alleged proof of an external world. (...) I draw attention to analogies and disanalogies between the arguments offered in each case in order to suggest that although the Agency Argument shares with its Moorean relative the unfortunate property of being dialectically ineffective against some of those it is mainly hoping to convince, it will not be dialectically ineffective against all of them. It is also argued that the Agency Argument is less vulnerable than Moore’s proof to worries about its justificatory structure. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman’s 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

In this paper, I explore the question what a continuant is, in the context of a very interesting suggestion recently made by Rowland Stout, as part of his attempt to develop a coherent ontology of processes. Stout claims that a continuant is best thought of as something that primarily has its properties at times, rather than atemporally—and that on this construal, processes should count as continuants. While accepting that Stout is onto something here, I reject his suggestion that we should (...) accept that processes are both occurrents and continuants; nothing, I argue, can truly occur or happen, which does not have temporal parts. I make an alternative suggestion as to how one might deal with the peculiar status of processes without jettisoning a very natural account of occurrence; and assess the consequences for the category of continuant. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

According to ‘regularity theories’ of causation, the obtaining of causal relations depends on no more than the obtaining of certain kinds of regularity. Regularity theorists are thus anti-realists about necessary connections in nature. Regularity theories of one form or another have constituted the dominant view in analytic Philosophy for a long time, but have recently come in for some robust criticism, notably from Galen Strawson. Strawson’s criticisms are natural criticisms to make, but have not so far provoked much response from (...) regularity theorists. The paper considers and rebuts Strawson’s objections. For example, Strawson claims that if there were no necessary connections in nature, we ought continually to find the regularity of the Universe surprising. I argue that the fact that the Universe is regular is something we take ourselves (fallibly) to know, and hence, in the light of this knowledge, its continued orderliness is not at all surprising. -/- . (shrink)

This paper argues, by attention to the category of sub-intentional agency, that many conceptions of the nature of agency are 'over-mentalised', in that they insist that an action proper must be produced by something like an intention or a reason or a desire. Sub-intentional actions provide counterexamples to such conceptions. Instead, it is argued, we should turn to the concept of a two-way power in order to home in on the essential characteristics of actions.

Epistemic peer disagreement raises interesting questions, both in epistemology and in philosophy of science. When is it reasonable to defer to the opinion of others, and when should we hold fast to our original beliefs? What can we learn from the fact that an epistemic peer disagrees with us? A question that has received relatively little attention in these debates is the value of epistemic peer disagreement—can it help us to further epistemic goals, and, if so, how? We investigate this (...) through a recent case in paleoanthropology: the debate on the taxonomic status of Homo floresiensis remains unresolved, with some authors arguing the fossils represent a novel hominin species, and others claiming that they are Homo sapiens with congenital growth disorders. Our examination of this case in the recent history of science provides insights into the value of peer disagreement, indicating that it is especially valuable if one does not straightaway defer to a peer’s conclusions, but nevertheless remains open to a peer’s evidence and arguments. (shrink)

Howard’s moral fortification theory of criminal punishment lends itself to justifying correction for children in schools that is supportive. There are good reasons to include other students in the learning opportunity occasioned by doing right in response to wrong, which need not exploit the wrongdoing student as a mere means. Care ethics can facilitate restorative and problem-solving approaches to correction. However, there are overriding reasons against doing so when this stigmatises the wrongdoing student, since this inhibits their learning. Responses that (...) avoidably stigmatise students impermissibly undermine both the developmental ethos of education, and students’ recognition and respect for each other as equals. (shrink)

Many criminal offenders come from disadvantaged backgrounds, which punishment entrenches. Criminal culpability explains some disadvantageous treatment in state-offender interactions; yet offenders remain people, and ‘some mother’s child’, in Eva Kittay’s terms. Offending behaviour neither erases needs, nor fully excuses our responsibility for offenders’ needs. Caring is demanded in principle, recognising the offender’s personhood. Supporting offenders may amplify welfare resources: equipping offenders to provide self-care; to meet caring responsibilities; and enabling offenders’ contribution to shared social life, by providing support and furthering (...) the choices of others seeking to engage with them. The desistance paradigm (viewing desistance from offending as a process, following from an offender’s active choice in the context of stabilising social structures and personal circumstances), implies that a supportive environment may facilitate reduced recidivism. While decisions about criminal culpability need justice, we may use state resources most effectively by also including care ethics in our thinking about punishment. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

This paper defends a substance-based metaphysics for organisms against three arguments for thinking that we should replace a substantial understanding of living things with a processual one, which are offered by Dan Nicholson and John Dupré in their edited collection,Everything Flows: Towards a Processual Philosophy of Biology(Oxford: Oxford University Press, 2018). Dupré and Nicholson consider three main empirical motivations for the adoption of a process ontology in biology. These motivations are alleged to stem from facts concerning (i) metabolism; (ii) the (...) life cycles of organisms; and (iii) ecological interdependence. The paper discusses each of the three arguments in turn and concludes that none gives us any compelling reason to abandon the metaphysics of things. At best, they are arguments against a kind of caricature substance metaphysics that ought never to have been in the running in any case. Then, at the end of the paper, it is suggested that there may be more positive arguments for insisting on retaining things in our metaphysics, arguments which, perhaps ironically (given the opposed standpoint ofEverything Flows) get their main impetus from the phenomenon of life. (shrink)

According to common-sense morality, agents can become morally connected to the wrongdoing of others, such that they incur special obligations to prevent or rectify the wrongs committed by the primary wrongdoer. We argue that, under certain conditions, voluntary and unjustified observation of another agent’s degrading wrongdoing, or of the ‘product’ of their wrongdoing, can render an agent morally liable to bear costs for the sake of the victim of the primary wrong. We develop our account with particular reference to widespread (...) modern phenomena such as so-called ‘revenge porn’, ‘up-skirting’, and the online observation of sexual assault and murder. On our account, observation is not a sui generis basis of liability. Instead, observation grounds liability in virtue of manifesting three, more general, grounds of liability. First, observation can compound a primary wrong, making that wrong more harmful for the victim. Second, observation can constitute degrading treatment of the victim. Third, in certain cases observation can enable primary wrongdoing. We conclude by discussing the conditions under which observing degrading wrongs might be morally justified. (shrink)

The paper considers whether psychiatric kinds can be natural kinds and concludes that they can. This depends, however, on a particular conception of ‘natural kind’. We briefly describe and reject two standard accounts – what we call the ‘stipulative account’ (according to which apparently a priori criteria, such as the possession of intrinsic essences, are laid down for natural kindhood) and the ‘Kripkean account’ (according to which the natural kinds are just those kinds that obey Kripkean semantics). We then rehearse (...) a more permissive account: Richard Boyd’s ‘homeostatic property cluster’ (HPC) account. We argue that psychiatric kinds can in principle count as natural kinds on the HPC account. Moreover, specific psychiatric kinds (Tourette’s, schizophrenia, etc.) can be natural kinds even if the category psychiatric disorder is not itself a natural kind. (shrink)

The voices of children and young people have been largely neglected in discussions of the extent to which the internet takes into account their needs and concerns. This paper aims to highlight young people’s lived experiences of being online.

As the author of A Metaphysics for Freedom (Oxford: Oxford University Press, 2012), I respond to each of the preceding eight papers in this Special Issue.